Joseph A. Goguen: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (10)
Most Popular
List
- List
- Table

1

Algebraic Semantics of Imperative Programs

Algebraic Semantics of Imperative Programs

Joseph A. Goguen, Grant Malcolm

Year:

1996

Language:

english

File:

PDF, 25.90 MB

0 / 0

english, 1996

2

Algebraic Semantics of Imperative Programs

Algebraic Semantics of Imperative Programs

Joseph A. Goguen, Grant Malcolm

Year:

1996

Language:

english

File:

DJVU, 1.53 MB

0 / 0

english, 1996

3

Algebraic semantics of imperative programs

Algebraic semantics of imperative programs

Joseph Goguen, Grant Malcolm

Year:

1996

Language:

english

File:

DJVU, 1.32 MB

0 / 0

english, 1996

4

Software Engineering with OBJ: Algebraic Specification in Action

Software Engineering with OBJ: Algebraic Specification in Action

Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)

Year:

2000

Language:

english

File:

PDF, 10.29 MB

0 / 0

english, 2000

5

Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics

Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics

Springer Netherlands

Joseph A Goguen (auth.), Kecheng Liu (eds.)

Year:

2005

Language:

english

File:

PDF, 2.24 MB

0 / 0

english, 2005

6

Formal Methods in Systems Engineering

Formal Methods in Systems Engineering

Springer-Verlag London

Joseph A. Goguen (auth.), Peter Ryan BSc, PhD, Chris Sennett MA, DPhil (eds.)

Year:

1993

Language:

english

File:

PDF, 8.36 MB

0 / 0

english, 1993

7

Software engineering with OBJ: algebraic specification in action

Software engineering with OBJ: algebraic specification in action

Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)

Year:

2000

Language:

english

File:

DJVU, 3.20 MB

0 / 0

english, 2000

8

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers

Springer-Verlag Berlin Heidelberg

Joseph A. Goguen, Razvan Diaconescu (auth.), Hartmut Ehrig, Fernando Orejas (eds.)

Year:

1994

Language:

english

File:

DJVU, 3.84 MB

0 / 0

english, 1994

9

Algebraic and Logic Programming: Second International Conference Nancy, France, October 1–3, 1990 Proceedings

Algebraic and Logic Programming: Second International Conference Nancy, France, October 1–3, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Joseph A. Goguen (auth.), Hélène Kirchner, Wolfgang Wechler (eds.)

Year:

1990

Language:

english

File:

DJVU, 3.44 MB

0 / 0

english, 1990

10

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

Springer-Verlag Berlin Heidelberg

Joseph A. Goguen, José Meseguer (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.)

Year:

1987

Language:

english

File:

DJVU, 3.99 MB

0 / 0

english, 1987